- динамическая логика
- dynamic logic мат.
Русско-английский научно-технический словарь Масловского. 2015.
динамическая логика
Look at other dictionaries:
Динамическая логика (цифровая электроника) — Динамическая логика (или тактированная логика) методология разработки комбинационных схем, в частности реализуемых по технологии КМОП, применяемая при проектировании интегральных схем. В отличие от статической логики, в которой в каждый… … Википедия
Динамическая логика (значения) — Динамическая логика: в информатике динамическая логика (модальная логика) раздел модальной логики, описывающий систему рассуждений, в явной форме учитывающей динамику объектов в цифровой электронике динамическая логика (цифровая электроника)… … Википедия
Логика — Гр … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
ЛОГИКА НАУЧНОГО ИССЛЕДОВАНИЯ — ЛОГИКА НАУЧНОГО ИССЛЕДОВАНИЯ в широком смысле является синонимом логики науки, в узком используется для обозначения раздела логики науки, в рамках которого исследуется динамическая, процессуальная сторона получения и обоснования научного… … Философская энциклопедия
модальная логика — МОДАЛЬНАЯ ЛОГИКА раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов, с помощью которых удается учитывать силу (степень)… … Энциклопедия эпистемологии и философии науки
Секвенциальная логика — Секвенциальная логика это логика памяти цифровых устройств. Название «секвенциальная» восходит к англ. sequential. Соответствующая логика может именоваться также как последовательностная, хотя последний термин по преимуществу употребляется… … Википедия
Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история … Википедия
Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
